home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / glass / glass.lha / GLASS / glammar / gg11.c < prev    next >
C/C++ Source or Header  |  1991-01-21  |  25KB  |  729 lines
  1. /*
  2.  
  3.     This file is a part of the GLAMMAR source distribution 
  4.     and therefore subjected to the copy notice below. 
  5.     
  6.     Copyright (C) 1989,1990  Eric Voss, ericv@cs.kun.nl 
  7.  
  8.     This program is free software; you can redistribute it and/or modify
  9.     it under the terms of the GNU General Public License as published by
  10.     the Free Software Foundation version 1
  11.  
  12.     This program is distributed in the hope that it will be useful,
  13.     but WITHOUT ANY WARRANTY; without even the implied warranty of
  14.     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15.     GNU General Public License for more details.
  16.  
  17.     You should have received a copy of the GNU General Public License
  18.     along with this program; if not, write to the Free Software
  19.     Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  20. */
  21. /* file coder2 (for deterministic prefixes) */
  22. #include "gg1.h"
  23. #include "gg2.h"
  24.  
  25. extern int mems_lifted, highest_tempory, nraffixes;
  26.  
  27.  
  28. /* 
  29.  * affix offset count 
  30.  */
  31. int oCount = 0;
  32.  
  33. det_rule_head()
  34. {
  35.     fprintf(output, "\n\n/*  %s   */\n",REPR(ulhs));
  36.     if (MARKED(ulhs,external)) 
  37.        fprintf(output, "int d%s(", REPR(ulhs));
  38.     else fprintf(output, "static int D_%d(", ulhs);
  39.     det_get_affixes(AFFIXDEF(SON(ulhs)));
  40.     if (fprintf(output, " {\n register AFFIX raf = af;\n") == EOF) {
  41.        fprintf(stderr,"glammar: Write failed (try again later)\n");
  42.        exit(12);
  43.     }
  44.       fprintf(output, "  char *rc = c,  *rip = ip;\n");
  45.     if (lookahead_in_alt(SON(ulhs)))
  46.       fprintf(output, "  char *lkh;\n");
  47.     if (BROTHER(SON(ulhs)) != nil)
  48.       fprintf(output, "  int cut_set = 0;\n");
  49.     if (trace_flag ) 
  50.      fprintf(output, " char *ntname = \"%s\";int ltr=level+1;\n",REPR(ulhs));
  51.     else if (errormsg_flag)  { 
  52.       int mem = SON(SON(ulhs));
  53.       if (mem != nil && DEF(mem) == equal) 
  54.       fprintf(output, 
  55.          "  char *ntname = \"%s\"; int lsave = level+10;\n", REPR(ulhs));
  56.       else fprintf(output, 
  57.          "  char *ntname = \"%s\"; int lsave = level++;\n", REPR(ulhs));
  58.      }
  59.           
  60.     if (stat_flag)  {  
  61.       fprintf(output, "  int s1 = stat_count++;\n");
  62.     }
  63.     save_lattice_afx();
  64.     
  65. }
  66.  
  67. det_rule_tail() {
  68.     int last_alt;
  69.  
  70.     for (last_alt = SON(ulhs); BROTHER(last_alt) != nil; 
  71.                                       last_alt =  BROTHER(last_alt)) ;
  72.     if (SON(last_alt) == nil) {
  73.        fprintf(output,"  \n}\n");
  74.        return;
  75.     }
  76.  
  77.     if (trace_flag) {
  78.        if (errormsg_flag) 
  79.            fprintf(output, "  set_errmsg(ntname);\n");
  80.        fprintf(output, "  level = ltr;endtrace(parsecount,ntname);");
  81.     } 
  82.     else if (errormsg_flag) {
  83.        fprintf(output, "  set_errmsg(ntname);\n");
  84.        fprintf(output, " level = lsave;\n");  
  85.     } 
  86. /*   
  87.  */
  88.   if (stat_flag) 
  89.       fprintf(output, "  stat_tab[%d] += stat_count - s1;\n",COUNT(ulhs));
  90.  
  91.  
  92.   fprintf(output,"  return false;\n}\n");
  93. }
  94.      
  95. det_get_affixes(afx)
  96.   int             afx;
  97. { 
  98.   int affix = afx, count = 0;
  99.    
  100.   if (afx == nil)  {
  101.     fprintf(output, ")\n");
  102.     return;
  103.   } 
  104.  
  105.   for (; affix != nil; affix = BROTHER(affix)) 
  106.     if (BROTHER (affix) != nil)
  107.        fprintf(output, "A_%d,",count++); 
  108.     else   fprintf(output, "A_%d)\n",count++); 
  109.  
  110.    count = 0; 
  111.    for (affix = afx; affix != nil; affix = BROTHER(affix)) 
  112.     fprintf(output, "  register AFFIX A_%d;\n", count++); 
  113. }
  114.  
  115.  
  116. det_rule_alts(alt)
  117. {
  118.   int             affix = (AFFIXDEF(alt)),
  119.                   rule = ulhs;
  120.  
  121.   if (trace_flag)
  122.     trace_code(affix);
  123.   for (; alt != nil; alt = BROTHER(alt)) {
  124.     
  125.     fprintf(output, "  {\n");
  126.     det_alt_code(alt);
  127.     fprintf(output, "  }\n");
  128.     if (BROTHER (alt) != nil) {
  129.          fprintf(output," ip = rip; c = rc;\n");
  130.          restore_lattice_afx();
  131.        if (trace_flag) {
  132.          fprintf(output, "  if (cut_set) {\n");
  133.          if (stat_flag)
  134.             fprintf(output, "  stat_tab[%d] += stat_count-s1;\n",COUNT(ulhs));
  135.        fprintf(output, "  level = ltr;endtrace(parsecount,ntname);");
  136.        if (errormsg_flag) 
  137.            fprintf(output, "  set_errmsg(ntname);\n");
  138.        fprintf(output," return false;\n}\n");
  139.        } else  {
  140.           if (errormsg_flag) 
  141.               fprintf(output, 
  142.             " if (cut_set) { level=lsave;set_errmsg(ntname);return false;}\n");
  143.           if (stat_flag)
  144.               fprintf(output,
  145.      " if (cut_set) { stat_tab[%d] += stat_count-s1;return false;}\n",COUNT(ulhs));
  146.          else 
  147.              fprintf(output,  " if (cut_set) return false;\n");
  148.        }
  149.     }
  150.   }
  151. }
  152.  
  153.  
  154. det_define_all_derived_affixes(alt)
  155.   int             alt;
  156. {
  157.   int             affix, mem;
  158.  
  159.   for (mem = SON(alt); mem != nil; mem = BROTHER(mem))
  160.     for (affix = AFFIXTREE(mem); affix != nil; affix = BROTHER(affix)) {
  161.       int             term = SON(affix);
  162.  
  163.       if (NODENAME(affix) == derived)
  164.         if ((APPLY_BOUND_AFFIX(term)) &&   (!IS_LEFTDEF(term)))
  165.           fprintf(output, "  AFFIX  _%s = (raf+%d);\n", REPR(term),++oCount);
  166.       if ( (LATTICE(affix)) && (!IS_LEFTDEF(term)))
  167.           fprintf(output, "  AFFIX  _%s = (raf+%d);\n", REPR(term),++oCount);
  168.  
  169.     }
  170. }
  171.  
  172. det_initialize_all_derived_affixes(alt)
  173.   int             alt;
  174. {
  175.   int             affix, mem;
  176.  
  177.   for (mem = SON(alt); mem != nil; mem = BROTHER(mem))
  178.     for (affix = AFFIXTREE(mem); affix != nil; affix = BROTHER(affix)) {
  179.       int             term = SON(affix);
  180.  
  181.       if (NODENAME(affix) == derived) {
  182.         if ((IS_LEFTDEF(term)) &&  (NODENAME(term) == affixnt)) {
  183.           if (ISNT_DONTCARE(term))   
  184.              fprintf(output, "   A_%d -> t = undefined;\n", LEFTDEF(term));
  185.         } else
  186.           fprintf(output, "   _%s -> t = undefined;\n", REPR(term));
  187.       }
  188.    }
  189. }
  190.  
  191.  
  192. det_nice_lift_tree(lt, rt)
  193.   int             lt, rt;
  194. {
  195.   int             term;
  196.  
  197.   if (lt == rt)
  198.     return;
  199.   term = BROTHER(lt);
  200.   if (term == rt) {
  201.     if (NODENAME(lt) == affixtm) {
  202.       aCount += 1;
  203.       fprintf(output, "(raf+%d) -> t = \"%s\",(raf+%d) -> l = nil,(raf+%d) -> r = nil,",
  204.         aCount, REPR(lt), aCount, aCount);
  205.     }
  206.     return;
  207.   } else if ((BROTHER(term) == rt) &&  (NODENAME(term) != affixtm)) {
  208.     aCount += 1;
  209.     if (NODENAME(lt) == affixtm) {
  210.       if (IS_LEFTDEF(term))
  211.         fprintf(output, "(raf+%d) -> t = \"%s\",(raf+%d) -> l = nil,(raf+%d) -> r = A_%d,",
  212.           aCount, REPR(lt), aCount, aCount, LEFTDEF(term));
  213.       else if (META(term))
  214.         fprintf(output, "(raf+%d) -> t = \"%s\",(raf+%d) -> l = nil,(raf+%d) -> r = &_%s,",
  215.           aCount, REPR(lt), aCount, aCount, REPR(term));
  216.       else
  217.         fprintf(output, "(raf+%d) -> t = \"%s\",(raf+%d) -> l = nil,(raf+%d) -> r = _%s,",
  218.           aCount, REPR(lt), aCount, aCount, REPR(term));
  219.     } else if (IS_LEFTDEF(lt)) {
  220.       if (IS_LEFTDEF(term))
  221.         fprintf(output, "(raf+%d) -> t = empty,(raf+%d) -> l = A_%d,(raf+%d) -> r = A_%d,",
  222.           aCount, aCount, LEFTDEF(lt), aCount, LEFTDEF(term));
  223.       else if (META(term))
  224.         fprintf(output, "(raf+%d) -> t = empty,(raf+%d) -> l = A_%d,(raf+%d) -> r = &_%s,",
  225.           aCount, aCount, LEFTDEF(lt), aCount, REPR(term));
  226.       else
  227.         fprintf(output, "(raf+%d) -> t = empty,(raf+%d) -> l = A_%d,(raf+%d) -> r = _%s,",
  228.           aCount, aCount, LEFTDEF(lt), aCount, REPR(term));
  229.     } else if (META(lt)) {
  230.       if (IS_LEFTDEF(term))
  231.         fprintf(output, "(raf+%d) -> t = empty,(raf+%d) -> l = &_%s,(raf+%d) -> r = A_%d,",
  232.           aCount, aCount, REPR(lt), aCount, LEFTDEF(term));
  233.       else if (META(term))
  234.         fprintf(output, "(raf+%d) -> t = empty,(raf+%d) -> l = &_%s,(raf+%d) -> r = &_%s,",
  235.           aCount, aCount, REPR(lt), aCount, REPR(term));
  236.       else
  237.         fprintf(output, "(raf+%d) -> t = empty,(raf+%d) -> l = &_%s,(raf+%d) -> r = _%s,",
  238.           aCount, aCount, REPR(lt), aCount, REPR(term));
  239.     } else if (IS_LEFTDEF(term))
  240.       fprintf(output, "(raf+%d) -> t = empty,(raf+%d) -> l = _%s,(raf+%d) -> r = A_%d,",
  241.         aCount, aCount, REPR(lt), aCount, LEFTDEF(term));
  242.     else if (META(term))
  243.       fprintf(output, "(raf+%d) -> t = empty,(raf+%d) -> l = _%s,(raf+%d) -> r = &_%s,",
  244.         aCount, aCount, REPR(lt), aCount, REPR(term));
  245.     else
  246.       fprintf(output, "(raf+%d) -> t = empty,(raf+%d) -> l = _%s,(raf+%d) -> r = _%s,",
  247.         aCount, aCount, REPR(lt), aCount, REPR(term));
  248.     return;
  249.   }
  250.   if (NODENAME(lt) != affixtm) {
  251.     aCount += 1;
  252.     if (IS_LEFTDEF(lt))
  253.       fprintf(output, "(raf+%d) -> t = empty,(raf+%d) -> l = A_%d,(raf+%d) -> r = (raf+%d),",
  254.         aCount, aCount, LEFTDEF(lt), aCount, aCount + 1);
  255.     else if (META(lt))
  256.       fprintf(output, "(raf+%d) -> t = empty,(raf+%d) -> l = /* */ &_%s,(raf+%d) -> r = (raf+%d),",
  257.         aCount, aCount, REPR(lt), aCount, aCount + 1);
  258.     else
  259.       fprintf(output, "(raf+%d) -> t = empty,(raf+%d) -> l = _%s,(raf+%d) -> r = (raf+%d),",
  260.         aCount, aCount, REPR(lt), aCount, aCount + 1);
  261.     det_nice_lift_tree(BROTHER(lt), rt);
  262.   } else {
  263.     aCount += 1;
  264.     fprintf(output, "(raf+%d) -> t = \"%s\",(raf+%d) -> l = nil,(raf+%d) -> r = (raf+%d),",
  265.       aCount, REPR(lt), aCount, aCount, aCount + 1);
  266.     det_nice_lift_tree(BROTHER(lt), rt);
  267.   }
  268. }
  269.  
  270.  
  271. det_code_lifted_affixes(affix)
  272.   int             affix;
  273. {
  274.   fprintf(output, "(");
  275.   for (; affix != nil; affix = BROTHER(affix)) {
  276.     int             term = SON(affix);
  277.  
  278.     if (NODENAME(affix) == inherited) {
  279.       if (BROTHER(term) != nil) {
  280.         int             this_a_count = aCount + 1;
  281.  
  282.         fprintf(output, "(");
  283.         det_nice_lift_tree(term, nil);
  284.         fprintf(output, "  (raf+%d))", this_a_count);
  285.       } else if (NODENAME(term) == affixtm) {
  286.         aCount += 1;
  287.         fprintf(output, 
  288.          "  ((raf+%d) -> t = \"%s\", (raf+%d) -> l = nil, (raf+%d) -> r = nil,(raf+%d))",
  289.           aCount, REPR(term), aCount, aCount, aCount);
  290.       } else if (IS_LEFTDEF(term))
  291.         fprintf(output, "  A_%d", LEFTDEF(term));
  292.        else if (META(term))
  293.         fprintf(output, "  & _%s", REPR(term));
  294.       else
  295.         fprintf(output, "  _%s", REPR(term));
  296.     } else {
  297.       if (IS_LEFTDEF(term))
  298.         fprintf(output, "  A_%d", LEFTDEF(term));
  299.        else if (META(term))
  300.         fprintf(output, "  & _%s", REPR(term));
  301.       else
  302.         fprintf(output, "  _%s", REPR(term));
  303.     }
  304.     if (BROTHER(affix) != nil)
  305.       fprintf(output, ",");
  306.   }
  307.   fprintf(output, ")");
  308. }
  309.  
  310.  
  311. det_result_code(alt)
  312.   int             alt;
  313. {
  314.   int             affix,
  315.                   count = 0;
  316.  
  317.   for (affix = AFFIXDEF(alt); affix != nil; affix = BROTHER(affix)) {
  318.     if (NODENAME(affix) == derived) {
  319.       int             term = SON(affix);
  320.  
  321.       if (BROTHER(term) == nil) {
  322.         if (NODENAME(term) == affixtm)
  323.           fprintf(output,
  324.             "  A_%d -> t = \"%s\"; A_%d -> l = nil; A_%d -> r = nil;\n"
  325.             ,count, REPR(term), count, count);
  326.         else if (IS_LEFTDEF(term))
  327.           fprintf(output, "MAKE(A_%d,A_%d);\n ", count, LEFTDEF(term));
  328.         else if (FREE_AFFIX(term)) {
  329.           fprintf(output, "  A_%d ->t  = _%s.t;", count, REPR(term));
  330.           fprintf(output, "A_%d -> r = nil;", count);
  331.           fprintf(output, "A_%d -> l = nil;\n", count);
  332.         }
  333.       } else {
  334.         int             this_a_count = aCount + 1,
  335.                         bterm = BROTHER(term);
  336.  
  337.         if (BROTHER(bterm) == nil) {
  338.           if ((NODENAME(term) == affixtm) &&  (NODENAME(bterm) == affixtm)) {
  339.             aCount += 1;
  340.             fprintf(output, "  (raf+%d) -> t = \"%s\";", this_a_count, REPR(bterm));
  341.             fprintf(output, "(raf+%d) -> l = nil;", this_a_count);
  342.             fprintf(output, "(raf+%d) -> r = nil;\n", this_a_count);
  343.             fprintf(output, "  A_%d -> t = \"%s\";", count, REPR(term));
  344.             fprintf(output, "A_%d -> r = (raf+%d);", count, this_a_count);
  345.             fprintf(output, "A_%d -> l = nil;", count);
  346.           } else if ((NODENAME(term) != affixtm) && 
  347.             (NODENAME(bterm) == affixtm)) {
  348.             aCount += 1;
  349.             fprintf(output, "  (raf+%d) -> t = \"%s\";", this_a_count, REPR(bterm));
  350.             fprintf(output, "(raf+%d) -> l = nil;", this_a_count);
  351.             fprintf(output, "(raf+%d) -> r = nil;\n", this_a_count);
  352.             if (IS_LEFTDEF(term))
  353.               fprintf(output, "  A_%d -> l = A_%d;", count, LEFTDEF(term));
  354.             else if (META(term))
  355.               fprintf(output, "  A_%d -> l = &_%s;", count, REPR(term));
  356.             else
  357.               fprintf(output, "  A_%d -> l = _%s;", count, REPR(term));
  358.             fprintf(output, "A_%d -> r = (raf+%d);", count, this_a_count);
  359.             fprintf(output, "A_%d -> t = empty;\n", count);
  360.           } else if ((NODENAME(term) == affixtm)  &&
  361.             (NODENAME(bterm) != affixtm)) {
  362.             fprintf(output, "  A_%d -> t = \"%s\";", count, REPR(term));
  363.             if (IS_LEFTDEF(bterm))
  364.               fprintf(output, "A_%d -> r = A_%d;", count, LEFTDEF(bterm));
  365.             else
  366.               fprintf(output, "A_%d -> r = _%s;", count, REPR(bterm));
  367.             fprintf(output, "A_%d -> l = nil;\n", count);
  368.           } else {
  369.             fprintf(output, "  A_%d -> t = empty;", count);
  370.             if (IS_LEFTDEF(term))
  371.               fprintf(output, "A_%d -> l = A_%d;", count, LEFTDEF(term));
  372.             else if (META(term))
  373.               fprintf(output, "A_%d -> l = &_%s;", count, REPR(term));
  374.             else
  375.               fprintf(output, "A_%d -> l = _%s;", count, REPR(term));
  376.             if (IS_LEFTDEF(bterm))
  377.               fprintf(output, "A_%d -> r = A_%d;\n", count, LEFTDEF(bterm));
  378.             else if (META(bterm))
  379.               fprintf(output, "A_%d -> r = /* */ &_%s;\n", count, REPR(bterm));
  380.             else
  381.               fprintf(output, "A_%d -> r = _%s;\n", count, REPR(bterm));
  382.           }
  383.         } else if (NODENAME(term) != affixtm) {
  384.          det_nice_tree(bterm, nil);
  385.           fprintf(output, "  A_%d -> t = empty;", count);
  386.           fprintf(output, "A_%d -> r = (raf+%d);", count, this_a_count);
  387.           if (IS_LEFTDEF(term))
  388.             fprintf(output, "A_%d -> l = A_%d;\n", count, LEFTDEF(term));
  389.           else if (META(term))
  390.             fprintf(output, "A_%d -> l = & _%s;\n", count, REPR(term));
  391.           else
  392.             fprintf(output, "A_%d -> l = _%s;\n", count, REPR(term));
  393.         } else {
  394.           det_nice_tree(bterm, nil);
  395.           fprintf(output, "  A_%d -> t = \"%s\";", count, REPR(term));
  396.           fprintf(output, "A_%d -> r = (raf+%d);", count, this_a_count);
  397.           fprintf(output, "A_%d -> l = nil;\n", count);
  398.         }
  399.       }
  400.     } else if (LATTICE(affix)) 
  401.          if (NODENAME(SON(affix)) == affixtm) {
  402.           int term = SON(affix);
  403.           fprintf(output," A_%d ->t = (char *) 0X%x;\n",count,
  404.               NODENAME(LATTICE_DEF(term)));
  405.          }
  406.     count += 1;
  407.   }
  408. }
  409.  
  410.  
  411. det_alt_code(alt)
  412.   int             alt;
  413. {
  414.   int             mem;
  415.  
  416.   oCount = 0;
  417.   det_alt_intermediate_defs(alt);
  418.   aCount = 0;
  419.   det_define_all_derived_affixes(alt);
  420.   det_initialize_all_derived_affixes(alt);
  421.   if (oCount >0) {
  422.     fprintf (output , " af = (raf+%d);\n",oCount); 
  423.     fprintf (output , " if (af > afx_top ) afx_overflow();\n"); 
  424.   }
  425.   det_lift_code(alt);
  426.   fprintf (output,"   {\n"); 
  427.   det_result_code(alt);
  428.   fprintf (output,"   return true;\n    }\n"); 
  429. }
  430.  
  431.  
  432. det_lift_code(alt)
  433.   int             alt;
  434. {
  435.   int             mem = SON(alt);
  436.  
  437.   mems_lifted = false;
  438.   if ((mem == nil) || (!lift_element(mem)))
  439.     return;
  440.   for (mem = SON(alt); (mem != nil) &&  (lift_element(mem)); mem = BROTHER(mem)) {
  441.     if (LKH(mem))
  442.             fprintf(output, "   if (lkh = ip)\n");
  443.     if (TERMINAL(mem))
  444.       det_code_lifted_terminal(mem, AFFIXTREE(mem));
  445.     else {
  446.       if (DEF(mem) == cut) {
  447.         if (BROTHER(mem) != nil) 
  448.             fprintf(output, "   if (cut_set = 1)\n");
  449.         }
  450.      else if (!MARKED(DEF(mem),external)) {
  451.         fprintf(output, "   if ( D_%d", DEF(mem));
  452.         det_code_lifted_affixes(AFFIXTREE(mem));
  453.         fprintf(output, ")\n");
  454.       }
  455.       else {
  456.         fprintf(output, "   if ( d%s",  REPR(mem));
  457.         det_code_lifted_affixes(AFFIXTREE(mem));
  458.         fprintf(output, ")\n");
  459.       }
  460.     }
  461.     if (LKH(mem))
  462.             fprintf(output, "   if (ip = lkh)\n");
  463.   }
  464. }
  465.  
  466.  
  467. det_lkh_epiloque()
  468. {
  469.   fprintf(output, "  if (lkh = 1) \n");
  470.   fprintf(output, "  (rq+%d)->q = kh_epiloque;\n", ++qCount);
  471. }
  472.  
  473.  
  474. det_code_lifted_terminal(termi, afx)
  475.   int             termi,
  476.                   afx;
  477. {
  478.   int             trm;
  479.  
  480.   if (STRING(termi)) {
  481.     fprintf(output, "  if (dterminal_(\"%s\"))\n", REPR(termi));
  482.     return;
  483.   }
  484.   trm = SON(afx);
  485.   if (IS_LEFTDEF(trm)) {
  486.     if (COMPLEMENT(termi)) {
  487.       if (EXCLAMATIONSTARCHOICE(termi))
  488.         fprintf(output, "  if ( dx_star_ex_choice(\"%s\",A_%d))\n",
  489.           REPR(termi), LEFTDEF(trm));
  490.       else if (EXCLAMATIONPLUSCHOICE(termi))
  491.         fprintf(output, "  if (dx_plus_ex_choice(\"%s\",A_%d))\n",
  492.           REPR(termi), LEFTDEF(trm));
  493.       else
  494.         fprintf(output, "  if (dex_choice(\"%s\",A_%d))\n",
  495.           REPR(termi), LEFTDEF(trm));
  496.     } else if (EXCLAMATIONSTARCHOICE(termi))
  497.       fprintf(output, "  if (dx_star_choice(\"%s\",A_%d))\n",
  498.         REPR(termi), LEFTDEF(trm));
  499.     else if (EXCLAMATIONPLUSCHOICE(termi))
  500.       fprintf(output, "  if (dx_plus_choice(\"%s\",A_%d))\n",
  501.         REPR(termi), LEFTDEF(trm));
  502.     else
  503.       fprintf(output, "  if (dchoice_(\"%s\",A_%d))\n",
  504.         REPR(termi), LEFTDEF(trm));
  505.   } else {
  506.     if (COMPLEMENT(termi)) {
  507.       if (EXCLAMATIONSTARCHOICE(termi))
  508.         fprintf(output, "  if (dx_star_ex_choice(\"%s\",_%s))\n",
  509.           REPR(termi), REPR(trm));
  510.       else if (EXCLAMATIONPLUSCHOICE(termi))
  511.         fprintf(output, "  if (dx_plus_ex_choice(\"%s\",_%s))\n",
  512.           REPR(termi), REPR(trm));
  513.       else
  514.         fprintf(output, "  if (dex_choice(\"%s\",_%s))\n",
  515.           REPR(termi), REPR(trm));
  516.     } else if (EXCLAMATIONSTARCHOICE(termi))
  517.       fprintf(output, "  if (dx_star_choice(\"%s\",_%s))\n",
  518.         REPR(termi), REPR(trm));
  519.     else if (EXCLAMATIONPLUSCHOICE(termi))
  520.       fprintf(output, "  if (dx_plus_choice(\"%s\",_%s))\n",
  521.         REPR(termi), REPR(trm));
  522.     else
  523.       fprintf(output, "  if (dchoice_(\"%s\",_%s))\n",
  524.         REPR(termi), REPR(trm));
  525.   }
  526. }
  527.  
  528.  
  529. det_alt_intermediate_defs(alt)
  530.   int             alt;
  531.  
  532. {
  533.   int             mem = SON(alt),
  534.                   count;
  535.  
  536.   aCount = 0;
  537.   highest_tempory = 0;
  538.   result_intermediate_defs(alt);
  539.   if (mem == nil);
  540.   else if (BROTHER(mem) == nil)
  541.     affix_intermediate_defs(mem);
  542.   else {
  543.     mems_intermediate_defs(BROTHER(mem));
  544.     affix_intermediate_defs(mem);
  545.   }
  546.   if (highest_tempory > aCount)
  547.     aCount = highest_tempory;
  548.    oCount = aCount; 
  549. }
  550.  
  551. det_nice_tree(lt, rt)
  552.   int             lt, rt;
  553. {
  554.   int             term;
  555.  
  556.   if (lt == rt)
  557.     return;
  558.   term = BROTHER(lt);
  559.   if (term == rt) {
  560.     if (NODENAME(lt) == affixtm) {
  561.       aCount += 1;
  562.       fprintf(output, "  (raf+%d) ->t = \"%s\"; (raf+%d) ->l = nil; (raf+%d) ->r = nil;\n",
  563.         aCount, REPR(lt), aCount, aCount);
  564.     }
  565.     return;
  566.   } else if ((BROTHER(term) == rt) && (NODENAME(term) != affixtm)) {
  567.     aCount += 1;
  568.     if (NODENAME(lt) == affixtm) {
  569.       if (IS_LEFTDEF(term))
  570.         fprintf(output, "  (raf+%d) ->t = \"%s\"; (raf+%d) ->l = nil; (raf+%d) ->r = A_%d;\n",
  571.           aCount, REPR(lt), aCount, aCount, LEFTDEF(term));
  572.       else if (META(term))
  573.         fprintf(output, "  (raf+%d) ->t = \"%s\"; (raf+%d) ->l = nil; (raf+%d) ->r = &_%s;\n",
  574.           aCount, REPR(lt), aCount, aCount, REPR(term));
  575.       else
  576.         fprintf(output, "  (raf+%d) ->t = \"%s\"; (raf+%d) ->l = nil; (raf+%d) ->r = _%s;\n",
  577.           aCount, REPR(lt), aCount, aCount, REPR(term));
  578.     } else if (IS_LEFTDEF(lt)) {
  579.       if (IS_LEFTDEF(term))
  580.         fprintf(output, "  (raf+%d) ->t = empty; (raf+%d) ->l = A_%d; (raf+%d) ->r =  A_%d;\n",
  581.           aCount, aCount, LEFTDEF(lt), aCount, LEFTDEF(term));
  582.       else if (META(term))
  583.         fprintf(output, "  (raf+%d) ->t = empty; (raf+%d) ->l = A_%d; (raf+%d) ->r = &_%s;\n",
  584.           aCount, aCount, LEFTDEF(lt), aCount, REPR(term));
  585.       else
  586.         fprintf(output, "  (raf+%d) ->t = empty; (raf+%d) ->l = A_%d; (raf+%d) ->r = _%s;\n",
  587.           aCount, aCount, LEFTDEF(lt), aCount, REPR(term));
  588.     } else if (IS_LEFTDEF(term)) {
  589.       if (META(lt))
  590.        fprintf(output, "  (raf+%d) ->t = empty; (raf+%d) ->l = &_%s; (raf+%d) ->r = A_%d;\n",
  591.         aCount, aCount, REPR(lt), aCount, LEFTDEF(term));
  592.        else 
  593.          fprintf(output, "  (raf+%d) ->t = empty; (raf+%d) ->l = _%s; (raf+%d) ->r = A_%d;\n",
  594.         aCount, aCount, REPR(lt), aCount, LEFTDEF(term));
  595.     } else if (META(term)) {
  596.       if (META(lt))
  597.         fprintf(output, "  (raf+%d) ->t = empty; (raf+%d) ->l = &_%s; (raf+%d) ->r = &_%s;\n",
  598.         aCount, aCount, REPR(lt), aCount, REPR(term));
  599.       else 
  600.         fprintf(output, "  (raf+%d) ->t = empty; (raf+%d) ->l = _%s; (raf+%d) ->r = &_%s;\n",
  601.         aCount, aCount, REPR(lt), aCount, REPR(term));
  602.      } else {
  603.       if (META(lt))
  604.       fprintf(output, "  (raf+%d) ->t = empty; (raf+%d) ->l = &_%s; (raf+%d) ->r = _%s;\n",
  605.         aCount, aCount, REPR(lt), aCount, REPR(term));
  606.       else 
  607.         fprintf(output, "  (raf+%d) ->t = empty; (raf+%d) ->l = _%s; (raf+%d) ->r = _%s;\n",
  608.         aCount, aCount, REPR(lt), aCount, REPR(term));
  609.     } 
  610.     return;
  611.   }
  612.   if (NODENAME(lt) != affixtm) {
  613.     aCount += 1;
  614.     if (IS_LEFTDEF(lt))
  615.       fprintf(output, "  (raf+%d) ->t = empty;(raf+%d) ->l = A_%d;(raf+%d) ->r = (raf+%d);\n",
  616.         aCount, aCount, LEFTDEF(lt), aCount, aCount + 1);
  617.     else if (META(lt))
  618.       fprintf(output, "  (raf+%d) ->t = empty;(raf+%d) ->l = &_%s;(raf+%d) ->r = (raf+%d);\n",
  619.         aCount, aCount, REPR(lt), aCount, aCount + 1);
  620.     else
  621.       fprintf(output, "  (raf+%d) ->t = empty;(raf+%d) ->l = _%s;(raf+%d) ->r = (raf+%d);\n",
  622.         aCount, aCount, REPR(lt), aCount, aCount + 1);
  623.     det_nice_tree(BROTHER(lt), rt);
  624.   } else {
  625.     aCount += 1;
  626.     fprintf(output, "  (raf+%d) ->t = \"%s\";(raf+%d) ->l = nil;(raf+%d) ->r = (raf+%d);\n",
  627.       aCount, REPR(lt), aCount, aCount, aCount + 1);
  628.     det_nice_tree(BROTHER(lt), rt);
  629.   }
  630. }
  631.  
  632.  
  633.  
  634. nondet_code() {
  635.     if (MARKED(ulhs,external)) 
  636.        fprintf(output, "void u%s () { register cont *rq = q;\n",REPR(ulhs));
  637.     else
  638.        fprintf(output, "static void U_%d(){register cont *rq = q;\n",ulhs);
  639.     fprintf(output, "char *rc =c , *rip = ip;\n");
  640.     get_affixes(AFFIXDEF(SON(ulhs)),0);
  641.     qCount = nraffixes;
  642.     if (MARKED(ulhs,external)) 
  643.         fprintf(output,"  if (d%s(",REPR(ulhs));
  644.     else
  645.         fprintf(output,"  if (D_%d(",ulhs);
  646.     det_call(AFFIXDEF(SON(ulhs)));
  647.     if (memo_flag) 
  648.    fprintf(output, "  { q=rq+%d;(*(rq+%d)->q)();rq=q- %d;}\n", 
  649.      qCount - 1, qCount,qCount);
  650.     else 
  651.   fprintf(output, "  { q = rq+%d;(*(rq+%d)->q)();}\n", qCount - 1, qCount);
  652.     fprintf(output, "c  = rc; ip =rip;\n");
  653.      push_affixes(AFFIXDEF(SON(ulhs)),0);
  654.     if (MARKED(ulhs,external)) 
  655.      fprintf(output, "  (rq+1)-> q = u%s; q = rq+1; }\n", REPR(ulhs));
  656.     else
  657.      fprintf(output, "  (rq+1)-> q = U_%d; q = rq+1; }\n", ulhs);
  658. }
  659.  
  660. det_call(afx)
  661.   int             afx;
  662. { 
  663.   int affix = afx, count = 0;
  664.    
  665.   if (afx == nil)  {
  666.     fprintf(output, "))");
  667.     return;
  668.   } 
  669.  
  670.   for (; affix != nil; affix = BROTHER(affix)) 
  671.     if (BROTHER (affix) != nil)
  672.        fprintf(output, "A_%d,",count++); 
  673.     else   fprintf(output, "A_%d))\n",count++); 
  674. }
  675.  
  676. nondet_builtin_code() {
  677.        int ulhs;
  678.        for ( ulhs = laststdpred ; ulhs != nil; ulhs = BROTHER(ulhs)) {
  679.        fprintf(output, "void u%s () { register cont *rq = q;\n",REPR(ulhs));
  680.        get_affixes(AFFIXDEF(SON(ulhs)),0);
  681.        qCount = nraffixes;
  682.        fprintf(output,"  if ( d%s (",REPR(ulhs));
  683.        det_call(AFFIXDEF(SON(ulhs)));
  684.        fprintf(output,"  { \n");
  685.        fprintf(output, "  q = rq+ %d;(*(rq+%d)->q)(); rq = q- %d;\n", 
  686.               qCount - 1, qCount, qCount);
  687.        fprintf(output,"  } \n");
  688.        push_affixes(AFFIXDEF(SON(ulhs)),0);
  689.        fprintf(output, "  (rq+1)-> q = u%s; q = rq+1; }\n\n", REPR(ulhs));
  690. }
  691. }
  692. statistic_table() {
  693.        int ulhs,rule;
  694.        NtCount = 0;
  695.        for (rule = root; rule != laststdpred ; rule = BROTHER (rule))
  696.        COUNT(rule) = NtCount++; 
  697.        if (!MARKED(root,docompile) )
  698.             fprintf(output, "extern ");
  699.        fprintf(output, "int stat_tab[%d], stat_count;\n",NtCount); 
  700.        if (!MARKED(root,docompile))  return;
  701.        fprintf(output, "char * name_tab[%d] = { \"%s\"",NtCount,
  702.                  REPR(root)); 
  703.        for ( ulhs = BROTHER(root) ; ulhs != laststdpred; ulhs = BROTHER(ulhs)) {
  704.             fprintf(output,",\n  \"%s\"",REPR(ulhs));
  705.        }
  706.        fprintf(output,"  \n};\n");
  707.        
  708.        fprintf(output,"print_stat() { \n int nr = 0;\n\
  709.   for (;nr <= %d; nr++) {\n\
  710.   printf(\"%%d.%%s -> %%d\\n\",nr,name_tab[nr], stat_tab[nr]);}\n}",
  711.          NtCount-1);
  712. }
  713.  
  714. save_lattice_afx()
  715. { 
  716.   int affix = AFFIXDEF(SON(ulhs)),count = 0;
  717.    for (; affix != nil; count++,affix = BROTHER(affix)) 
  718.      if (LATTICE(affix))
  719.        fprintf(output, "  char *LA_%d = A_%d ->t;\n", count,count); 
  720. }
  721.  
  722. restore_lattice_afx()
  723. { 
  724.   int affix = AFFIXDEF(SON(ulhs)), count = 0;
  725.    for (; affix != nil; count++,affix = BROTHER(affix)) 
  726.     if (LATTICE(affix))
  727.      fprintf(output, "  A_%d->t = LA_%d;\n", count,count); 
  728. }
  729.